rule-based deduction

См. также в других словарях:

• deduction — 1 Deduction, abatement, rebate, discount are comparable when they mean an amount subtracted from a gross sum. Deduction is interchangeable with any of the others but not without some loss in precision. An abatement is a deduction from a levied… …   New Dictionary of Synonyms

• Deduction theorem — In mathematical logic, the deduction theorem is a metatheorem of first order logic.[1] It is a formalization of the common proof technique in which an implication A → B is proved by assuming A and then proving B from this assumption.… …   Wikipedia

• Natural deduction — In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the natural way of reasoning. This contrasts with the axiomatic systems which instead use… …   Wikipedia

• Public Policy Limitation on Deduction for Business Expenses — Brief Introduction: Deduction for Business Expenses Section 162(a) of the Internal Revenue Code allows for taxpayers to deduct ordinary and necessary expenses paid or incurred in carrying on a trade or business from their gross income. [26 U.S.C …   Wikipedia

• Semantic gap — The semantic gap characterizes the difference between two descriptions of an object by different linguistic representations, for instance languages or symbols. In computer science, the concept is relevant whenever ordinary human activities,… …   Wikipedia

• Critique of Pure Reason — Part of a series on Immanuel …   Wikipedia

• Sources of Islamic law — Various sources of Islamic law are used by Islamic jurisprudence to elucidate the Sharia, the body of Islamic law.cite web |url=http://www.al islam.org/jurisprudence/ |title=Jurisprudence and its Principles |accessdate=2008 07 26 |last=Mutahhari… …   Wikipedia

• Expert system — In artificial intelligence, an expert system is a computer system that emulates the decision making ability of a human expert.[1] Expert systems are designed to solve complex problems by reasoning about knowledge, like an expert, and not by… …   Wikipedia

• complexity — /keuhm plek si tee/, n., pl. complexities for 2. 1. the state or quality of being complex; intricacy: the complexity of urban life. 2. something complex: the complexities of foreign policy. [1715 25; COMPLEX + ITY] * * * ▪ scientific theory… …   Universalium

• Immanuel Kant — Kant redirects here. For other uses, see Kant (disambiguation). See also: Kant (surname) Immanuel Kant Immanuel Kant Full name Immanuel Kant Born 22 April 1724 …   Wikipedia

• Multi-paradigm programming language — A multi paradigm programming language is a programming language that supports more than one programming paradigm. As Leda designer Tim Budd holds it: The idea of a multiparadigm language is to provide a framework in which programmers can work in… …   Wikipedia